1. Gödel nemteljességi tételei :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Gödel, Kurt.,Axióma.,Gödel-tétel.,Halmazelmélet-- axiomatikus.,Matematika filozófiai problémái.,Matematikai logika.

2. Godel's theorem: an incomplete guide to its use and abuse

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Godel's theorem,، Incompleteness theorems

رده :
QA
9
.
65
.
F73
2005

3. Inexhaustibility : a non-exhaustive treatment

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Incompleteness theorems,، Logic, Symbolic and mathematical,، Mathematics -- Philosophy

رده :
QA
9
.
A1L44
Vol
.
16

4. Provability and truth

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : ismeretelmélet,Logic.,Truth.